Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
401	Icon programming language quick reference General conventions The comment symbol is #; comments extend to the end of the line. Numeric constants can be written in exponential notation (e.g, 1.7e-4 for 1:7 10−4 ) or Add to Reading List Source URL: infohost.nmt.edu Language: English - Date: 2003-06-30 15:16:41 Procedural programming languages Lambda calculus ALGOL 68 Comparison of programming languages Icon Function Fixed-point combinator Combinatory logic Standard ML Software engineering Computing Programming language theory
402	Realizability in classical logic Jean-Louis Krivine University Paris VII, C.N.R.S. P.P.S. Team [removed] Lessons in Marseille-Luminy, may 2004 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-09-16 11:45:33 Algebraic topology Symbol Spectral theory Sheaf Operator theory Ordinary differential equations Natural deduction Combinatory logic Mathematics Algebra Abstract algebra
403	Lecture Notes on Focusing Oregon Summer School 2010 Proof Theory Foundations Frank Pfenning Lecture 4 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-06-23 09:43:10 Sequent calculus Curry–Howard correspondence Entailment Linear logic Sequent Combinatory logic Natural deduction Logic Mathematical logic Proof theory
404	Converting 3D Furniture Models to Fabricatable Parts and Connectors Add to Reading List Source URL: mitani.cs.tsukuba.ac.jp Language: English - Date: 2012-06-27 20:13:32 Topology Polyhedron Symmetry Applied mathematics 3D modeling Video game design Combinatory logic
405	THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:47 Propositional calculus Boolean algebra Logic in computer science Lambda calculus Proof theory Combinatory logic Modal logic Negation Logic Mathematical logic Mathematics
406	A Logical Basis for the D Combinator and Normal Form in CCG Frederick Hoyt and Jason Baldridge The Department of Linguistics The University of Texas at Austin {fmhoyt,jbaldrid}@mail.utexas.edu Add to Reading List Source URL: fmhoyt.colliertech.org Language: English - Date: 2011-12-12 22:35:37 Mathematical logic Lambda calculus Formal languages Combinatory categorial grammar Categorial grammar Fixed-point combinator Functor Syntax Function Mathematics Theoretical computer science Combinatory logic
407	Lambda Calculus Diogo Sousa Universidade Nova de Lisboa Faculdade de Ciˆ encias e Tecnologia Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-27 11:22:13 Applied mathematics Computability theory Combinatory logic Calculus De Bruijn index Simply typed lambda calculus Lambda calculus Theoretical computer science Mathematics
408	Towards Type-theoretic Semantics for Transactional Concurrency Aleksandar Nanevski Microsoft Research, Cambridge [removed] Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Formal methods Models of computation Hoare logic Separation logic Combinatory logic First-order logic Lambda calculus Mathematical logic Theoretical computer science Logic
409	On Symmetric Signatures in Holographic Algorithms b Jin-Yi Caia ∗and Pinyan Lub a Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2006-10-01 23:51:14 Multilinear algebra Matrices Symmetric matrix Combinatory logic Pfaffian Metric tensor Algebra Linear algebra Mathematics
410	Polymorphic Typed Defunctionalization Fran¸cois Pottier∗ [removed] Abstract Defunctionalization is a program transformation that aims Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2004-05-28 07:25:30 Logic in computer science Lambda calculus Models of computation Type theory Symbol Type system Valuation Combinatory logic Normalisation by evaluation Theoretical computer science Mathematics Applied mathematics

UPDATE